#! /bin/bash

FILE="./scripts/TIMES.txt"

if [ -e ${FILE} ]
then
        n=$(cat ${FILE})
else
        n=0
fi

let n++
echo $n > ${FILE}
BUILD_TIMES=${n}

${GIT} add ${FILE}
